#pragma once

namespace terms {
	namespace dl {
		template <typename L=std::string, typename I=std::string, typename C=std::string, typename R=std::string>
		const DLTerm<L, I, C, R> *simplify(DLTermFactory<L, I, C, R> *factory, const DLTerm<L, I, C ,R> *term);

		template <typename L=std::string, typename I=std::string, typename C=std::string, typename R=std::string>
		const DLTerm<L, I, C, R> *toNNF(DLTermFactory<L, I, C, R> *factory, const DLTerm<L, I, C ,R> *term);
	}
}
